結果 : example of simple conversion in logic