The math of CSS locks (fvsch.com)