remove precondition but still change em