logician
not defined yet