df-bi
Axiom.
Arguments:
(pr),
(pr),
Assertions:
(((
)
((
)
(
)))
(
((
)
(
))
(
)))
(pr), 
(pr), (pr), (pr), 
(((
)
(()()))((()())()))