cage sums · no operators · pure logic