updated the start-meth, make references to lean wiki