presented at event 29th International Symposium on Mathematical Foundations of Computer Science Conference