reducibility