Add 1st version of conclusion and future work.
Add constraint for aggregation.