ratiocinators
not defined yet