Use subsequent integrity analyzis for solving.