We have the word `Def` used instead of `Definition` in multiple places in the project maybe it's good time to fix this, will do.