So Henry is saying once we've figured out that no one should choose a strategy bigger than 67, then we can go another step and say, if those strategies never existed, then the same argument rules out -- or a similar argument rules out -- strategies bigger than 45. 