User:James Aguilar/to do


 * Expand Partition with a proof of NP-Completeness.