  Over intuitionistic logic, Lin, Stone and Ex are consequences of SLEM; and Un implies Dis. All of these schemes follow, of course, from the full law of excluded middle, that is SLEM for arbitrary formulas.