Brown, Frank Markham: Boolean Reasoning