Put Definition, Types, and Analogy