[freeone3000]

let churn = (reduced income from existing customers cancelling the service)

let use_increase = (Increased income from existing customers using the service more)

assert churn > use_increase;

net_churn = churn - use_increase;

assert is_negative(net_churn);