Functions, Proofs, Constructions, 21–23 February. tr 2014, 8 (4).