How could one prove this is aperiodic? I'm guessing maybe you can prove that some or most of the triangles have globally unique rotations regardless of N?