Better lock and lock spec