lavernmanifold