Expand on polynomial-time reduction
Don't include PDF in repository