Paragraph

Translate Geoff's order into logical symbols.