COLOR$ (Explicit)

ALL FACT$ (Explicit)