The logic here is flawless