Real mathematics must be justified as art if it can be justified at all.