Solved is consistent
Solved is solved
Zero is NOT consistent
Zero is NOT solved