Why did you choose these boundaries and what happens if the `assert` fails?