On 01/10/16 07:11, Chris Thompson wrote: > We probably ought not to let today pass without noting that it is > Richard Guy's 100th birthday. See his tribute page here: http://gathering4gardner.org/RichardGuy.html