And they get roughly equivalent truth values, modulo Paul's slightly more misleading wording?