Comparative judgement and proof