In non-smooth method, unilateral interactions between bodies are fundamentally modelled by the Signorini condition for non-penetration, and impact laws are used to define the impact process. The Signorini condition can be expressed as the complementarity problem: