small changes to reduce proof
small changes to reduce proof