Revision_theory loading ...