Boolean is born
LessThen with reduce
Spec reducible?
Spec reduce better + move LessThen spec to proper place
Variables + Environment