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