 Q: A coin is heads up. Coire flips the coin.  Diament does not flip the coin.  Melbourn does not flip the coin.  Esai flips the coin.  Hinkledire does not flip the coin.  Nadarajan does not flip the coin.  Iwan does not flip the coin.  Is the coin still heads up? 