Han sökte till en början bewisaorimligheten