 Q: A coin is heads up. Marquarius does not flip the coin.  Jóhann flips the coin.  Gijsbert does not flip the coin.  Gesualda does not flip the coin.  Tirah flips the coin.  Jemarius does not flip the coin.  Mukadder flips the coin.  Ehrman flips the coin.  Miricle flips the coin.  Yulemni flips the coin.  Yiehiel does not flip the coin.  Altje flips the coin.  Leanca does not flip the coin.  Javontez flips the coin.  Guljar does not flip the coin.  Is the coin still heads up? 