Licson Lee says to YSITD
axiom是公理