 Q: A coin is heads up. Cleaver flips the coin.  Lenville does not flip the coin.  Travys does not flip the coin.  Slawomir does not flip the coin.  Ergo flips the coin.  Flois does not flip the coin.  Luzmar does not flip the coin.  Is the coin still heads up? 