Version 1 of #2557

I meant to refer to anything that you know to be true.