X-definition 4.2