On homotopy K3 surfaces constructed by two knots and their applications - Masatsuna Tsuchiya (2015)