We would like to thank the following people for their helpful comments over the years: