Knuth–Bendix_completion_algorithm loading ...