 Q: A coin is heads up. Sichen does not flip the coin.  Iban does not flip the coin.  Kristianson does not flip the coin.  Hefin flips the coin.  Misayo does not flip the coin.  Nejc flips the coin.  Areford flips the coin.  Is the coin still heads up? 