progress on logical relation stuff