Added note on K-rule.