My expression verifies the results of the simulation