From Abstractions to Specifics