Basic Issues on Safety Identity Theory