  We address the homotopy theory of 2-crossed modules of commutative algebras.
In particular, we define the concept of a 2-fold homotopy between a pair of
1-fold homotopies connecting 2-crossed module maps $\A \to \A'$. We also prove
that if the domain 2-crossed module $\A$ is free up to order one (i.e. if the
bottom algebra is a polynomial algebra) then we have a 2-groupoid of 2-crossed
module maps $\A \to \A'$ and their homotopies and 2-fold homotopies.
