Compact tree of x Proudfoot