Curved Logic