Add Isa.add() function, add comments