Add documentation; Definitions