No result about Lake–verity