#Abstractions #pratt