Any theory that posits both irreducible combination and mereological parthood for the same entities ...