dimension checks on mul