Soft Boolean 2025