They redefined sets specifically to exclude that construction and related ones.