(**)(**)
theory Scratch imports Main begin