Law_of_excluded_fourth