extensionの安全性を客観的に証明するにはどうすればいいですか?