They are put together in deduction