changed Array access prooftree