Is initialization and finalization surface correct?