...match
It happens in this case that the same clause numbers match in skeleton and target although this isn't necessary in general.
Dave Stuart Robertson
Tue Jul 7 10:59:53 BST 1998