Looks like @disproving hasn't received any replies!