And these two steps for an algorithm for L. The whole thing takes input W, and tells us whether or not W is in L. We sometimes see a reduction use the discover and algorithm for L, but the more important use of the idea is the contrapositive. 