Simplification and Clarification of Logic

simplified Truthiness of d and choice.