The issue here is that the details of the invariant affect how reasonable it is. If you define the difference between human and monkey in terms of a single gene (or in terms of having X genes), then the invariant “a monkey can’t have a human child” is unreasonable.
The issue here is that the details of the invariant affect how reasonable it is. If you define the difference between human and monkey in terms of a single gene (or in terms of having X genes), then the invariant “a monkey can’t have a human child” is unreasonable.