Hayes' theorem

GPTKB entity