VARIABLES T P T >: Int P >: My