"univalent foundations" is not capitalized