worked on proving matrixes and triangles are nanrings. took a lot more work than expected (not quite finished)!