update choice figure to include equality test with Equiv