Section on introducing with algebras
Start inj section