Describir: Meta-uncertainty and the proof paradoxes.