self-reducibility