 Q: A coin is heads up. Dequawn flips the coin.  Lambing does not flip the coin.  Shinichi does not flip the coin.  Anatollo does not flip the coin.  Mortensen does not flip the coin.  Is the coin still heads up? 