Releases med Consortium for Foundation Mathematics