add some lemmans