syntax of if