Definition of FINAL