NAMESAKES: A deductive system of algebra named after its creator, a 19th Century English mathematician