[ more ] Small introduction + parallel subst

What is NbyE in a few sentences?
Which equational theories are we considering?
How does it compare to other evaluation strategies?