A Designed Approach to Abstraction with John Salminen