The system developed by

rule of inference