Welcome to 8-12. We had to rename 7-11s after prime numbers were found to be offensive to a small percentage of the population. The fact that percentage was itself a prime number led to endless debates.
Accounting jumped on the occasion to say human attendees were offensive to then and replaced them with cheaper bots.
Happy Consuming!