The claim defines the standard disciplinary boundaries between contract theory (principally bilateral or principal-agent relations under asymmetric information) and mechanism design (institution-building and multi-agent resource allocation or social choice). Because this is a matter of definitional taxonomy within microeconomic theory, it is common knowledge and does not require empirical verification from the retrieved literature.