An argument is valid when all the inferences are tight and all the premises are interlocking. The sort of logical argument is inductive argument. An argument consists of at least two sentences, one of which logically follows from the other. The statement said to follow is the conclusion and the supporting statement is the premise. Interlocking premises refer to a property of an argument that obtains when all the premises are represented directly or indirectly in the conclusion's inference. There are two recognized argument types: deductive argument, in which the conclusion follows necessarily from the premises, and inductive argument, in which the conclusion follows contingently from the premises. Indirect argument works in two ways: through logical complements, or through the principle of remainders. The principle of indirect argument assumes a limited number of possible cases.