A=B
B=C
C=D
D=E
E=A
↑はどんなものでも当てはまるから無意味な循環論法

A=B
B=C
C=D
D=E
E=X
↑は計算可能な有意味な再帰論法

こういうのホント困るんだよね