notes on logical relations