Simplify named terminals demo