lauf_demos_and_sets