rĖ > 4. Logic and Inference