Mixed Boolean-Arithmetic (part 1): Introduction