Start to think about proving new CFG unambiguous.