 Q: A coin is heads up. Murillo flips the coin.  Cashin does not flip the coin.  Jaap flips the coin.  Muzakir flips the coin.  Aswad does not flip the coin.  Laporcha flips the coin.  Gano does not flip the coin.  Is the coin still heads up? 