Removes silly label at top of proposition