#6 added a quick comment on the logic behind isSatisfiedProp