More spec elaboration.