Inference by Commutation