Please add any suggestions or comments here.
Trace: • start • equational_theory • t0-spaces • suggestions_or_comments