 Q: A coin is heads up. Oto does not flip the coin.  Efterpi does not flip the coin.  Deanrd does not flip the coin.  Milesha does not flip the coin.  Trinia does not flip the coin.  Is the coin still heads up? 