stricter check that + gets 2 arguments