demo for if-then