Defining a composition operation on sets of formulas one obtains a manysorted algebra which satisfies the superassociative law and one more identity. This algebra is called the clone of formulas of ...