They&#x27;re overwhelmingly argument by assertion.  I&#x27;m not sure that counts as &quot;well argued&quot;?<p>Like the stuff at the end about STM and M:N scheduling.  There are systems that use both to tremendous effect.  Erlang only offers an M:N scheduling model, and it works extremely well for building the kinds of systems Erlang was built for.