Allowing, Forbidding, but not Requiring: A Mathematic for a Human World