Laver tree

Summary