FP presentable, HW done