define first-order constructs