5.23 Die Operation ist das, was mit dem einen Satz geschehen muss, um aus ihm den anderen zu machen.