au's url: [permute.rs]