Explications
Minor changes and tries