logicianer
not defined yet