On a mountain top in Provo