use wallace tree multiplier (should we really?)