Lie algebras visualized: why are they defined like that? Why Jacobi identity?