20.4 Meeting Functions Through Change
A machine that takes in one x and spits out exactly one y captures that unique matching, and we say y is a function of x.