What are the properties of PDEs used to justify the