define first-order constructs

×