Towards verification of kinding rules...