Added comment to describe leximize()