 Q: A coin is heads up. Rodriguez-gutierrez flips the coin.  Mhegan does not flip the coin.  Jeniya does not flip the coin.  Gokdeniz does not flip the coin.  Harroll flips the coin.  Is the coin still heads up? 