Proof of concept for implicit Euler method with midpoint rule.