Bug fixed, A new invariant: X = Z+I+T

Doc will be added later