Proved a non-admissible property from the HALO paper.