Text this: On Sahlqvist theory for hybrid logics.