I believe Lucas was trying for the “morality as a 2-place function” notation as in this post, but using different notation made this more confusing.
I believe Lucas was trying for the “morality as a 2-place function” notation as in this post, but using different notation made this more confusing.