rattleback, Celtic stone, ellipsoid, nonholonomic dynamics, 
reversible, stationary point, periodic orbit, homoclinic orbit, 
rotation, reversing, rolling, computer-assisted proof, Ada