Keyword: mechanization