A definition is the start of an argument, not the end of one.