ax8
Axiom.
Axiom of Equality
Arguments:
(st),
(st),
(st),
Assertions:
((
)
((
)
(
)))
(st), 
(st), 
(st), (st), (st), (st), 
)
(()()))