 Q: A coin is heads up. Osborn flips the coin.  Lauterbach flips the coin.  Pravit does not flip the coin.  Loyde does not flip the coin.  Nikolajus does not flip the coin.  Is the coin still heads up? 