so you basically traverse the hierarchy until you ...
# arrow
p
so you basically traverse the hierarchy until you find the first abstraction that’s powerful enough for what you want to express, and no more