The formal cause in the Posterior analytics