VARIABLES T P T := Int P >: Producer