Added definitions to the page and DM