Ting Zhou's paper has been accepted by Synthesis !