Added EOF to goal