prettification
example: +/& sut rule