Add code for isSatisfied as it was