Expr: oops, use S.true, and drop my debug msgs [squash to a15f452]