Text this: Second−Order Logic over Finite Structures − Report on a Research Programme