Anfonwch hwn fel neges destun: Second−Order Logic over Finite Structures − Report on a Research Programme