Self-reducibility