Reasoning Model: Validity Of Weak Confluences