true && forall n:Nat . false
