§13 概然的和可证明的