Situation: encryption prevents theft