Looks like @proof1puzzle hasn't posted yet!