fixed tests after implementing notations