An example of using <eduzoo-definition>: