Rules, antecedents, consequents, and minor details