Notes on absolute values
Updated sequence, convergence definitions