The Foul Adversary : Formal Models