Send a message to Tolasa lemma