Definition:Proper Prefix