Instantiating with success the intermediate CK theory