started a prototype logical relation for just the target language