updated when -> holdsWhen