Проверяемость должна быть скальпелем, а не молотом. Зачем доказывать всё, если только чувствительные части нуждаются в подтверждениях?