Correct, it would be better read as P(app start) * P(infra ok|app start) * P(first dollar|infra ok and app start). That's just a mouthful so I elided the "givens".