Basic arithmetic currently interprets the base logic behind multiplication, of it being repeated addition, in a way which leads to the multiplicand being included within the multiplier, leading into for example, one times one being one, as the one being multiplied is counted within the one it is multiplied with. However, this paper will instead present a conceptual proposal for interpreting the base logic as not including the multiplicand within the multiplier, leading to results such as one times one being two, as it is interpreted as one, and one copy of one being added, as an alternative formal logic for multiplication.