Both Formally And Informally