All that means is that ‘cousin_it turns into a pheasant’ has to be taken as an axiom for the algebra you’re using...
All that means is that ‘cousin_it turns into a pheasant’ has to be taken as an axiom for the algebra you’re using...