ax11
Axiom.
Axiom of Variable Substitution
Arguments:
(sv),
(st),
(pr),
Distinct variable conditions:
(
,
),
Assertions:
((
)
(
((
)
)))
(sv), 
(st), 
(pr), (sv), (st), (pr), , ), 
)
(
(())))