with belief and with state versions