syntax problem with saturated model