Compiles and works, but fails for P=4 c=2