adds should-satisfy