 Q: A coin is heads up. Senada does not flip the coin.  Auton does not flip the coin.  Tayt flips the coin.  Wattie does not flip the coin.  Arthuro does not flip the coin.  Is the coin still heads up? 