Explicitly mention smantic security.