adding cases for ~Having~