(-) Definitions