Pause and consider the joint probability that anything was autocorrected to "roof rule" and that it just so happens to be the name of one of their rules.