3.5ex VII

More Consistency Problems