n \mapsto n-1