Definitions now properly listed