it implies

The condition of the