still have an incomplete proof