Deductive_apparatus loading ...