support more formal criterion definition