When did he stump in your fictional scenario? When you asked him to prove that the number is indeed minimal? It's trivial too but may be an unreasonable thing to ask during SRE interview.