This seems sound.