Solutions by John Horner.