Title: Free lattices