This article explains how the Itovsn3 package can be extended to add various properties and rules for ItoIntegral, which represents a stochastic or Itô integral. This allows us to introduce a further expectation operator and compute suitable expectations involving Itô integrals.