The separation of law and morals is a necessary condition for the existence of a legal system.
The most important property of a program is whether it accomplishes the intention of its user.