Gravitational lensing of type Ia supernovae by galaxy clusters | Synapse