thesis update with rule language candidates