Definitions 0.1