 Q: A coin is heads up. Mckernan does not flip the coin.  Mayu flips the coin.  Trent does not flip the coin.  Avelardo does not flip the coin.  Sirac does not flip the coin.  Is the coin still heads up? 