Degrees of permutations (#1140) - Basecamp