 Q: A coin is heads up. Barfuss does not flip the coin.  Tramone does not flip the coin.  Miroslava flips the coin.  Valenta does not flip the coin.  Adrine does not flip the coin.  Is the coin still heads up? 