 Q: A coin is heads up. Julin flips the coin.  Gruner does not flip the coin.  Despina does not flip the coin.  Zulaikhah does not flip the coin.  Hellari flips the coin.  Shahirah does not flip the coin.  Bovian does not flip the coin.  Ivalee does not flip the coin.  Shiraj does not flip the coin.  Obaidullah does not flip the coin.  Bagryana flips the coin.  Benedith does not flip the coin.  Furie does not flip the coin.  Mendes does not flip the coin.  Golupka does not flip the coin.  Is the coin still heads up? 