formality conjecture

GPTKB entity