"Thus, some aspects are proved and other aspects are not provable." . . . .