la pycyn. cusku di'e > Oh, and {cipra} is not good for mathematical proofs -- it means "test" not > "valid argument string" The {jarco} part is OK, but I would combine it with > {jalge). I don't think than 'result' has much to do with proofs and conclusions (despite the word 'ja'o'). Maybe 'nibli porsi' (nibypoi) mu'o mi'e .adam.