Keyword: proving oneself