Preventing covert ASI development in countries within our agreement — LessWrong