Sean Wei says to YSITD
ab ≠ 0 之類的?