Edit File: trivial.py