[see also: heavy]
We do not use (5) in our proofs, because it makes the notation more cumbersome.
Go to the list of words starting with: a b c d e f g h i j k l m n o p q r s t u v w y z