made everything but numerical example and discussion in lyx