Added lemma's for brb and afk