truths

not defined yet