.
magic red gceq