Describir: Generalized "Yoking-Proofs" and Inter-Tag Communication