 Q: A coin is heads up. Edrock flips the coin.  Lopez-vazquez does not flip the coin.  Guðríður does not flip the coin.  Kirkendall does not flip the coin.  Donivee flips the coin.  Is the coin still heads up? 