first attempt to define a logical relation (for just the target language right now)