Paire r |- a1 Þ Err r |- (a1, a2) Þ Err

Paire r |- a1 Þ v1        r |- a2 Þ Err r |- (a1, a2) Þ Err