assert 1+(3+2);