p ≡ 1 (mod q) | Synapse