Title: Completeness and definability