← NOTES ON THE INTRAST AT DOCUMENT TYPE DEF …