isSatisfied() を void に