EXPERIENCE FIRST, FORMALIZE LATER