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