implemented some arithmetic on kets; next step is to generalize