Similar Items: Logical Step-Indexed Logical Relations