Interface GivenConstructorsConjunction