Vanishing of Poincar\'e series for congruence subgroups | Synapse