`b1` and `b2` are in K, so they will never contain t.