Pairs of matrices generating discrete free groups and free products.