Text this: Execution of certain leaders of the recent revolt in Hungary.