Replacing the invalidity condition in SDF with a weaker standard of logical weakness would still be ...