x1=j2=p3 (ka; jo'u/fa'u term) is the minor difference in/between x2=p2 and x3=p1 that is to be ignored, their similarity being by standard/in geometry x4; x2 is the same as/similar to/parallels x3 in standard/geometry x4 up to/modulo/except for/ignoring unimportant difference x1;