Restricting Rational Modules to Frobenius Kernels | Synapse