Generalizing about current KR systems