 Q: A coin is heads up. Tawqir does not flip the coin.  Shermaine flips the coin.  Eudoxia does not flip the coin.  Tabish does not flip the coin.  Tomasino flips the coin.  Alejos does not flip the coin.  Günter does not flip the coin.  Is the coin still heads up? 