ILP02414 HOL Single Hearts