Definition:Proper Substring