upcastThen

GivenWhenThen

updowncastWhen

GivenWhenThen