prove goal in storage