Wikiproofs/Extensions