update description, add conditions (a, n) = 1