 Q: A coin is heads up. Buyse flips the coin.  Giovacchina flips the coin.  Dögg flips the coin.  Grimbald does not flip the coin.  Jernorris does not flip the coin.  Steeve does not flip the coin.  Micha does not flip the coin.  Is the coin still heads up? 