> If (n + 1) police (n), who police (n + 1)? (n + 2).
which reduces to
> If (2n + 2), who (n + 2)? (n + 2).
> If (n + 1) police (n), who police (n + 1)? (n + 2).
which reduces to
> If (2n + 2), who (n + 2)? (n + 2).