"You should encrypt your hard disk, so that if your computer is stolen the information isn't obtainable to an adversary."