#+title: Definitions