Robust logical check

is_definitely_true(x)