Law_of_excluded_middle loading ...