A simple proof of second-order strong normalization with permutative conversions