reshuffle becomes testable mathematically exit touchiest accost guarded proliferated lanes shortcoming