Remove hard exclusion on Konacha and factor it out into a predicate.