Is `IsSatisfied` a Command or a Query?

(please stop me when you get tired of the Socratic Questioning)