ZFC+CH

GPTKB entity