first full pass
aadded a conclusion

Signed-off-by: StephaneDucasse <stephane.ducasse@inria.fr>