Added comments that it used to INITIAL and FINAL