Oh yeah, especially if the domain is complex, trying to envision how it can fail is as fun of a puzzle as trying to make it correct.