diagnostically
not defined yet