file purchased from Artin