What distinguishes “Zayd believes” from “Zayd believes while infallible contrary knowledge is false”?

Obligation Beyond Capacity: Possibility, Ability, and Moral Judgment

• Only the first concerns creation of a body
• The second is just a verbal synonym
• The second adds an external condition creating inconsistency in the combined claim
• Both exclude every conceivable temporal reference