updating the top level property to prove