Changed prismify to deal with cases where only one of A2 and B2 are bound.