veridically
not defined yet