Logarithmic Finite-Size Scaling of the Four-Dimensional Ising Model | Synapse