Design by Contract

GPTKB entity