In logic, there are no morals.