I can't find a way around this: 2+2 must necessarily =4, and if 2+2 didn't =4 it would necessarily not be 2+2.