This summarizes #oppositelock in a nutshell.S