A Door to the Formal