Logic and reasoning are used by mathematicians to create general rules, which are an important part of mathematics. These rules leave out information that is not important so that a single rule can cover many situations. By finding general rules, mathematics solves many problems at the same time as these rules can be used on other problems. These rules can be called theorems (if they have been proved) or conjectures (if it is not known if they are true yet). Most mathematicians use non-logical and creative reasoning in order to find a logical proof.