public static IProposition constructConjunction(IProposition[] props) { return constructConjunction(props, 0); }