Couldn’t tell by the way they write their software.

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