  Of course one distinguishes between an assumption and a justified  assumption. In Justification Logic constants are used to represent  justifications of assumptions in situations where they are not  analyzed any further. Suppose it is desired to postulate that an  axiom \(A\) is justified for the knower. One simply postulates  \(e_{1} : A\) for some evidence constant  \(e_{1}\) (with index 1). If, furthermore, it is desired to postulate that this new principle  \(e_{1} : A\) is also justified, one can  postulate \(e_{2} :( e_{1} : A)\)  for a constant \(e_{2}\) (with index 2). And so on.  Keeping track of indices is not necessary, but it is easy and helps  in decision procedures (Kuznets 2008). The set of all assumptions of  this kind for a given logic is called a Constant  Specification. Here is the formal definition: