James When I use the word 'proof' (in this conversation, at least) I mean a 'mathematician's proof' not a ThP proof. Which may or may not make a difference to our statements about 'proof being needed' and what they involve. chris