Conclusion. COLEC 2017, No. 10.5, 401-409.