Wt/lzz/assumption

< Wt | lzz
Wt > lzz > assumption