Of course, as one of the profs here put it, 'being able to know when you have no choice but to do every possible combination is an important career skill in this field'.

His claim was that it could be very important to be able to explain to a TLA type why neither you nor anyone else was going to be able to do what he wanted done.