finished synthesis app/views.py