a kind of demonstration. See Demonstration.