 Q: A coin is heads up. Tavaldo does not flip the coin.  Carless does not flip the coin.  Gherardo does not flip the coin.  Stephenson does not flip the coin.  Cleason does not flip the coin.  Is the coin still heads up? 