 Q: A coin is heads up. Treve flips the coin.  Marixsa does not flip the coin.  Dharamender does not flip the coin.  Nilesh does not flip the coin.  Satoko flips the coin.  Is the coin still heads up? 