[ruang]

I think derivation proofs are useful (and definition) but other types of proofs such as correctness hasn't helped me as much.