Myhill-Scott result: Hereditarily ordinal definable sets (HOD) can be seen as the constructible hierarchy with second order logic (in place of first order logic):
{"Image Tag 0x5110": "1", "Image Tag 0x5111": "0", "Image Tag 0x5112": "0"}