Axiom of Determinacy for K

GPTKB entity