How Many Different Peptides Are There