Ce <: = RT a | 
