Precondition

Reset V Transiens