Good point. 

We could compare identites (`accepted = (q is s0)`), but that seems a little fragile.