1/1: Building erased (erased.idr)
