太過強調law of the excluded middle唔係幾make sense here