finished bool expr (for real)