Ergo
· v · ·
Evaluate [⌘ ↵]
Import "contract" library
Clear