AAA tranche as understood by Murfi and Jinx