A matrix is confirmed correct. D is still wrong for some reasons
implements S(0)ir. Verified.

two more blocks to go