PGP WDE encryption encrypts every sector of the disk, except that containing the PGP bootloader. Reformatting the disk does not decrypt any of the previously stored data; it remains secure. Any data stored to the disk after reformatting it, is not encrypted and is therefore not secure.