Make it clearer what happens when an active literal is not valent
Make the example's description more detailed