A portfolio should be a proof system, not a gallery