Used for questions about REA (aka CEA), sets in computability theory where REA stands for recursively enumerable and above.