01 - Logic

Very simple stuff really.

- For all

- "where/so that"

- Not / Negation

- in

implies

Equivalence (two-way implication)