ચોક્કસ કે અજેય વિશેષતાઓને કેટલાક અથવા બધા દાવાઓમાં શામેલ કરવામાં આવે તે સુનિશ્ચિત કરવાનો એક માર્ગ પ્રારંભિક દાવાને લખવાનું છે અને તેને સંક્ષિપ્ત અવકાશના દાવાઓ માં નો સંદર્ભ લો.