Logiweb diagnose of peano in pyk

Up Help

text unicode capital u unicode small n unicode small c unicode small h unicode small e unicode small c unicode small k unicode small e unicode small d unicode space unicode small s unicode small i unicode small d unicode small e unicode small c unicode small o unicode small n unicode small d unicode small i unicode small t unicode small i unicode small o unicode small n unicode colon unicode end of text end text then ( text unicode newline unicode end of text end text then peano sub ( var x peano var peano plus peano zero ) peano is ( var x peano var ) is ( var a peano var peano plus peano zero ) peano is ( var a peano var ) where var a peano var is var x peano var end sub )