Everything true of a substance is so because the predicate of a true proposition is contained in the...