formal_definition.md 616 Bytes