 Q: A coin is heads up. Zuszeth does not flip the coin.  Randalph does not flip the coin.  Orlandus does not flip the coin.  Larrell does not flip the coin.  Shiflett does not flip the coin.  Povl flips the coin.  Robles-rivera does not flip the coin.  Is the coin still heads up? 