Box Semi-Boolean v02

.