write some comments on IF.v