Added note on how 'User' is defined in definitions