Start the rest of the rule theorems