I'm not qualified to answer, but just wanted to let you know that I found this post hard to parse. The last point is a constraint and not an assumption, but the

I'm not qualified to answer, but just wanted to let you know that I found this post hard to parse. The last point is a constraint and not an assumption, but the others are. The second point is not a property of a problem, but the others are. They also all have different moods. And I don't know what "SE" is in this context.