Different combinations of theories