Как удалить префикс пути в python?

Я хотел узнать, что это за питоническая функция:

Я хочу удалить все до wa дорожка.

p = path.split('/')
counter = 0
while True:
    if p[counter] == 'wa':
        break
    counter += 1
path = '/'+'/'.join(p[counter:])

Например, я хочу, чтобы '/ book / html / wa / foo / bar /' превратился в '/ wa / foo / bar /' .