extracted interface for ad-hoc checkable issues