Updated evaluation criterion to use new #satisfied? specification.