&a a: &b b *b : *a