On the T1 axiom and other separation properties in constructive topology.