truthify

verb1

1. •
   To make true.

   • The amount val by which x+y must still be increased to truthify x + y ≥ N is one dimension of W: — 1997