\notin \mathbb{Z}_{23}