compress(text) ; if progrP() = text ; and len(p) < len(text) ; return p.