Devise and formalize