Implement post-constraints.