Updated iteration criterion to use new #satisfied? specification.