Ids are strictly increasing, so the same id is never allocated twice