Machine reason by S.I. Rispens