The Isis problem as a vehicle to think about mathematical proof and proving