Cleaned up sections, wrote frame rule and rule of consequence.