Wt/lzz/assumption

< Wt‎ | lzz
Wt > lzz > assumption