Effective Bertini theorems and zeros of p-adic forms of degree 7 | Synapse