These formal constraints generate substantive universal norms: an agent cannot rationally will a max...