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

Closes #1