Frame rule and rules of consequence section corrections.