Docs for criterion ifc