Looks like @disproving hasn't commented yet!