Existence040.py (not working yet)