Adding exercises for Pushing Logic Down the Stack