[Prov+and+Mr.+Allen]