lambda-term 1.7