From left to right, from top to bottom: T. Arai, S. Wainer, F. Ferreira, S. Feferman, M. Rathjen, A. Beckmann, J. Avigad, R. Sommer, W. Tait, G. Mints, N. Arai, S. Tupailo