definitions

definitions