When a card refers to another stack, the pattern is go to card id {ID} of stack “{stack name}” or go to card “{card name}” of stack “{stack name}” . However, when the first card pushes another card ( push card id {ID} of stack “{stack name}” ), a more complex transitive relationship emerges, making the player navigate from the first card to the pushed card through an intermediate card (which “pops” to the target card).