[0MC]↺↻
[0MD]↺↻
[0MF]↺↻
[0MH]↺↻
The countability axioms will return in exercises [0Q5]↺↻ and [0Q7]↺↻.
[ [0MK]↺↻]