This is pointless. `b1` and `b2` are in k, so you will always have `b1a == b1` and `b1d == 1`.