Sentences about corec and cofix