Excluded_middle loading ...