**Point cell law.** Assuming the root cell law, the residue cell of `(Φ mod π)^r` has the law `lawDescend (deg Φ) (stateLaw (single 1 r))`.

Initializing...

**Point cell law.** Assuming the root cell law, the residue cell of `(Φ mod π)^r` has the law `lawDescend (deg Φ) (stateLaw (single 1 r))`. · Prove2Me