Second issue: K rule can be derived, even without het. equality.