 Q: A coin is heads up. Steep flips the coin.  Joe-james does not flip the coin.  Miklós flips the coin.  Kevork does not flip the coin.  Dugal flips the coin.  Jacobb does not flip the coin.  Duval-santeluices does not flip the coin.  Is the coin still heads up? 