Title: 1842. Wallis's royal edition ...