Text this: Logics with rigidly guarded data tests