inspections formal cse 491 3998511