Add COQ
Update for migration