In informal logic an objection, also known as a refutation, is a reason arguing against a premise, lemma or main contention. An objection to an objection is known as a rebuttal. Informal logic is the study of arguments as presented in ordinary language, as contrasted with the presentations of arguments in an artificial (technical) or formal language (see formal logic). ... In discourse, a premise (also premiss in British usage) is a claim which is part of a reason or objection. ... In informal logic and argument mapping, a lemma is simultaneously a contention for premises below it and a premise for a contention above it. ... In both formal and informal logic, a main contention is a thought which is capable of being either true or false and is usually the most controversial proposition being argued for. ... In reasoning, a counterargument is simply an argument that opposes another argument. ...