Law_of_Excluded_Middle loading ...