| dBibs_expPR | Bibs_expPR |
| dBicauchyPR | BicauchyPR |
| dBiexpweightedPR | BiexpweightedPR |
| dBilomaxPR | BilomaxPR |
| dBiMG_expPR | BiMG_expPR |
| dBinormalPR | BinormalPR |
| dBiparetoPR | BiparetoPR |
| dBitPR | BitPR |
| f21hyper | f21hyper |
| I_1 | Lemma |
| I_2 | Lemma |
| I_3 | Lemma |
| J_1 | Lemma |
| J_2 | Lemma |
| J_3 | Lemma |