#152: Consistency of result is a proof of