There can be new methods in the derived class and that is the new context with which the inherited methods will be used and therefore, they need to be tested and this is what follows from the Weyukar's Anticomposition axiom.
ડેરીવેટીવ ક્લાસમાં નવી પદ્ધતિઓ હોઈ શકે છે અને તે નવો સંદર્ભ છે જેની સાથે વારસાગત પદ્ધતિઓનો ઉપયોગ કરવામાં આવશે અને તેમને ચકાસવાની જરૂર છે અને આ તે જ છે જે વેયુકરના એન્ટીકોમ્પોઝિશન એક્સિયોમથી અનુસરે છે.