set |Δ| to 1
set |Δ| to |Δ| + 1
return |Δ|