Allen Chou
says to
YSITD
你就去驗證每個 axiom 會不會成立阿