reducibility method