added specs for ArrayAddition