That was a brilliant analysis of the offside rule.

The Coq analysis was something which everyone could see light years away, except Wumger