 Q: A coin is heads up. Milvert flips the coin.  Mainou flips the coin.  Casablanca does not flip the coin.  Zejnie does not flip the coin.  Abigailgrace does not flip the coin.  Is the coin still heads up? 