Add script to show computational equivalence