veridicalities

not defined yet