implement red.py