style: satisfied with the title for now, toc next
style: satisfied with the title for now, toc next

tinelli/kind2,kind2-mc/kind2,tinelli/kind2,tinelli/kind2,tinelli/kind2,daniel-larraz/kind2,tinelli/kind2,tinelli/kind2