More sketching on the logical relation