3 ms·A formal proof is only as good as what-you-are-proving maps to what-you-intended-to-prove.by svieira 3y agoA formal proof is only as good as what-you-are-proving maps to what-you-intended-to-prove.