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