Entrenched_clauses loading ...