Backwards Evaluation Python