Нет ничего хуже, чем знать, как устранить проблему, знать, когда она нуждается в устранении, и не мочь выразить этот критерий применимости алгоритмически.