Renamed file.
Added note on the K-rule.