Similar to "The Rules of Abstraction with Matthew Collings"