Added Boolean arithmetic