logical relations