Add specs section, using ivy