 Q: A coin is heads up. Marincho does not flip the coin.  Joseandres does not flip the coin.  Menelik does not flip the coin.  Ilcia does not flip the coin.  Peran does not flip the coin.  Is the coin still heads up? 