The principles of logic and mathematics are true universally simply because we never allow them to be anything else.