features a dim check for addition operation