实证包括（ ）。