I was both hoping and fearing that someone would correct my simplification. (That is more nested logs than I would’ve guessed however.)