Contributed by JAF
Contributed by Richard Lipton
Contributed by Stephen Coles
Contributed by Florian Hardwig
Contributed by Indra Kupferschmid