working on converting provn to matlabbatch