Elucidating the notation in sec:constraints
Expanded section on G-ACGs