Add logical summarisation.
Change test text.