What do you think fully homomorphic encryption is, then?