veridicalities
not defined yet