 Q: A coin is heads up. Trippton does not flip the coin.  Travion flips the coin.  Teysean flips the coin.  Shaver does not flip the coin.  Harald does not flip the coin.  Is the coin still heads up? 