/// <summary>
/// Complement the pair predicate by complementing its components.
/// </summary>
public Pair <S, T> Simplify(Pair <S, T> predicate)
{
return(new Pair <S, T>(first.Simplify(predicate.First), second.Simplify(predicate.Second)));
}
/// <summary>
/// Complement the pair predicate by complementing its components.
/// </summary>
public Tuple <S, T> Simplify(Tuple <S, T> predicate)
{
return(new Tuple <S, T>(first.Simplify(predicate.Item1), second.Simplify(predicate.Item2)));
}