Vihvelin on Frankfurt-Style Cases and the Actual-Sequence View