Title: Informality and formality in learning