 Q: A coin is heads up. Mito does not flip the coin.  Nuli does not flip the coin.  Philbo does not flip the coin.  Jean-hilaire does not flip the coin.  Bolten flips the coin.  Is the coin still heads up? 