* Initial invocation: - Patience on me to gain peace and perfection! -
*)
-include "ground_2/lib/star.ma".
+include "ground_2/lib/relations.ma".
include "basic_2/notation/constructors/item0_0.ma".
include "basic_2/notation/constructors/snitem2_2.ma".