paving conjecture

GPTKB entity