Codex entry: Locks within Locks