ну, деньги конвертируются в улучшение относительного местоположения, можно потратить на психотерапевта и бухло, если команда не ок и компенсироватьн нудность задач
Если одна вещь ведет себя как другая, то это та же вещь. Те если верифицированая программа работает так же как неверифицированная, то можно считать вторую верифицированной
так делают в железе часто, софтверная реализация — golden model сравнивается с хардверной