Item
3.1.5.a
.
Translate Geoff's order into logical symbols.
in-context