ratiocinant

not defined yet