Permutation logarithm (#3679) - Basecamp