[ICLP'16] ipad