update choice figure to include equality test with Equiv
[matthijs/master-project/dsd-paper.git] / mac.svg
mac.svg