defs.


definitions.