 The remainder of proposals are restriction strategies. They reinterpret KP by restricting its universal quantifier. In effect, the restriction strategies invalidate Fitch’s reasoning by prohibiting the substitution-instances of KP that lead to paradox. In this section we examine semantic reasons for restricting the universal quantifer in KP.