ECS #510: A simple regular expression in a labelled universe