Scaling Lean - Verify 6 BOOKS

Fields marked with an * are required