ax-el<
Axiom.
Arguments:
(st),
(st),
(coll),
Assertions:
((
)
((
)
(
)))
(st), 
(st), 
(coll), (st), (st), (coll), 
)
((
)()))