All examples in basic.txt now concrete.