Update existence02.py