having/satisfaction circuits

Could not connect to the API.