Re: [ICLP'16] ipad