PPN formalism