replace invalid autothreading ~~ with subset (<=)