I verified the contraction id by producing down Every single circumstance for all indices. But that isn't a proof, just a verification, and I think verifying in an identical vogue for 4th dimension will likely be cumbersome. E book that I go through about 1975, the place the leading character