Advances in formal and informal feedback