Galois representations and modular forms | Synapse