Thanks for sharing your thoughts, so if I get it right, you give me a formula that has been formalized, and I just punch in the right numbers for the variables

Thanks for sharing your thoughts, so if I get it right, you give me a formula that has been formalized, and I just punch in the right numbers for the variables and get the answer. The less rigorously the arrangement (and proofed) , the more likely the outcome is wrong though the syntax (symbol manipulation) is correct. Hope that sums it up in my understanding :)