-> `assert str(x12) == '%s_12' % X.name`?