Pošalji tekstualnu poruku: Second−Order Logic over Finite Structures − Report on a Research Programme