Explicit rule for sequence