Definition:Proper Well-Formed Part