Feel like “translating the proof into your end product” is a bit of a “draw the rest of the owl”