Modelling with lattices (-)

(to be written)