Direct justification. Auxiliary items are items which do not change thesis.