Finished math on random pairings