Looks like @proof1puzzle hasn't commented yet!