Logic may be considered as a symbolic language which represents the reasoning inherent in other languages. It does so by reducing the language of statements and arguments down into symbolic form, simplifying them such that the arrangement of the language, and thus the reasoning within it, becomes apparent. The extraneous parts of statements are removed like a biology student in the dissection lab removes the skin, muscles and organs of a frog, revealing the skeleton of bare reasoning inside.