(* Scripting buffer for theory A *)

1;

(* A few commands so that we can test partial-retraction. *)

2;

3;