  which define atomic formulas. Such clauses can naturally be interpreted as describing introduction rules for atoms. From the point of view of proof-theoretic semantics the following two points are essential: