The Foundations of OKRs