Funny I fought for a good 5 min trying to convert everything to semantic on my phone, and finally gave up, figuring it also proved I wasn't a bot :) I have fixed it now.

But yes: semantic, run-time, extensional, etc... from Rice/Godel/etc...