Inspired by Robert Bryson Hall II (Logic)