Or "computer says x but you don't trust the hardware/software". Or "computer says x but you don't agree the mathematical concept was correctly formalized into

Or "computer says x but you don't trust the hardware/software". Or "computer says x but you don't agree the mathematical concept was correctly formalized into the proof engine language".