forall (1,2,3) for true is true
forall (1,2,3) for false is false
forall (1,2,3) for x > 0 is true