doyle_log_rule