પ્રાયોગિક, પ્રૂફ્રેડ, અને ફરી પુરાવો