 Q: A coin is heads up. Katsuhito flips the coin.  Ehsan flips the coin.  Takisa does not flip the coin.  Pueyo-caraballo does not flip the coin.  Joshwan flips the coin.  Shardul flips the coin.  Alistair-john does not flip the coin.  Is the coin still heads up? 