a  ~  b