Remove all upper bounds on packages
Equational reasoning post
Make a start on the nengajou post