(* REDUCIBILITY CANDIDATES ****************************************************)
(* The reducibility candidate (r.c.) ******************************************)
(* REDUCIBILITY CANDIDATES ****************************************************)
(* The reducibility candidate (r.c.) ******************************************)