formal operations stage