(**)(**)
theory Scratch = Main:

