(removing old discussion)