M := { A[] -> B[]; B[] -> C[]; T[i] -> T[i+1] };
P := M^-2;
assert(P = { C[] -> A[];  T[t] -> T[t - 2] });
