See https://incompleteness.me/blog/2006/08/23/neat-spring-trick/