Lean by SA1 : Scribble Maps