Add steps for proving the height