a, b, c, d \in \mathbb{Z}