LTSVable is now contravariant