Example 9. Denial of Q' in 3+2/4 (Hasty, Example 9.28d, p. 146)