J. %#, %#6( Propositions for the implementation of reasoning processes