section for terminology
tautology
notation
examples
second lecture
entailment