{P(AH_4) \over P(H_4)}