topoi (#1409)
(an instance of
generic exit
made by
Marcus
)