Stu approached a soft$-$drink vending macking marked, $"60?$ Insert coins in slot. Change returned below." The machine presented several large buttons, each with the name of a soft$-$drink. Stu inserted three quarters and pressed the only button labeled "Jolt". No drink issued from the machine, however. Instead, a sign near the coin slot lit up with the message, "Selection unavailable."