1: Algorithms for Placing Monitors in a Flow Network 2: Monadic second-order model-checking on decomposable matroids