Li-Fan Chen
says to
YSITD
並且符合遞移 自反之類的性質