Welcome to the
BAAL
' HOME PAGE
(
B
oolean
A
rithmetic
A
nd
L
inguistics' HOME PAGE)