VARIABLES T P T := Int P <: Consumer