A design uses a SQL sequence and requires permanently gap-free business numbers even after rollbacks. What should be explained?

1. Naming the sequence GapFree enforces the requirement
2. Every rollback necessarily returns all sequence values for reuse
3. Sequence values are file backups
4. Sequence allocation is not a guarantee of gap-free committed numbering