tidying up in multiword theories