On double sale of real property