A 3D spin on formal logic