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