Progress with updating proofs to work with 2darrays