No ORing of statements