Various work on integrity constraints.