The negative amount guard guarantees amount + count is always less than count. Assisted-by: Codex:GPT-5