Formal-definitions.pdf