Which part of the solution might contain statements that lead to inconsistencies?