 Q: A coin is heads up. Rockelle does not flip the coin.  Devan does not flip the coin.  Jans flips the coin.  Elbart does not flip the coin.  Efstathios does not flip the coin.  Is the coin still heads up? 