Law_of_the_excluded_middle loading ...