Updated Concrete logo
Improved some notations
Work on MDDs