Vise demo for if