more diverse declarations in specs