Uncommented verification