Put lower v.bound on mtl