help added. not working on prove