Conjecture (Restriction Conjecture). RSn−1(p→q) if and only if n+1−n−1q≤n+1p and p<2nn+1.