3 ms·

So you're saying that the alternative to Erlang's simplification is not a four-way combination but an 8-way one. Yikes.