a truth is correct