Title: Regular Expressions Succinctly