correctitude
not defined yet