https://123dok.net/document/zwv1ved0-weak-mso-u-over-infinite-trees.html