The boring AI won because the interesting one couldn't show its work — type0 | type0