BuilderQ is correct. That is the formula used here for computing BKRs. I translated it into Czech for Fencer so I know.