Docs for criterion interface