 An obvious objection is that although X, being first, must be simple, Y might not be: perhaps X is wholly constituted by what X and Y share, but Y is only partially constituted by this common element and is partially constituted by something else. Fârâbî considers this objection and replies that in that case