O
pen_
I
nduction
Restricted_Predicates
Open_Induction