Definition of Prox Seq