a comprehensive verification