反饋: 無效證明完整後續