They probably don't have to write OKRs every quarter saying the opposite.