Modeling contact correctly is essential to ensure accurate representation of real-world engineering systems. Rigid body motion may occur in a mechanical assembly due to various reasons, which a static analysis solver is unable to solve for. In this course, we discuss ways to prevent solver failure arising from rigid body motion in contacts.