A talk about Univalent Foundations at a Templeton meeting