A conventionalist account of distinctively mathematical explanation · Study