 Q: A coin is heads up. Brag does not flip the coin.  Frane does not flip the coin.  Cartagena-rivera does not flip the coin.  Kenyatte flips the coin.  Dosi does not flip the coin.  Is the coin still heads up? 