sentence: Type bool expressions are named after the English mathematician George Boole, who formulated rules for mathematical logic.
modified: fix grammar: Type bool expressions are named after the English mathematician George Boole, who formulates rules for mathematical logic.