First Questions

• Did you read the paper?
• Did you have any questions about it?
• Did the problem of variable binding come through?
• Did the originality of the STP solution come through?