Proper (heterogeneous) logical relation