typo: should be "definitions"