 Q: A coin is heads up. Kristgeir does not flip the coin.  Garrido does not flip the coin.  Lauriana does not flip the coin.  Cubby flips the coin.  Martravius flips the coin.  Maxamillian does not flip the coin.  Machiko does not flip the coin.  Is the coin still heads up? 