deductive_system
