What is model theory behind homomorphic encryption and black box algebra?