The real inference was accomplished when the universal proposition was arrived at.