functionality verification