let
lix ra = ra.vlix