Introduce [strongly_regular], assume [do_regularize], define [regularize].
Removed note on regular definition
Which had become useless since the introduction of [strongly_regular].