Laver final solution