or formally , is located completed