 Q: A coin is heads up. John-michael does not flip the coin.  Saeed does not flip the coin.  Kirtland does not flip the coin.  Christof does not flip the coin.  Bindiya does not flip the coin.  Is the coin still heads up? 