Boolean expressions can be freely composed of variables with the usual connectives and reified linear expressions.